package display;

import java.awt.Graphics;

import javax.swing.JPanel;

/**
 * A SplashScreen to handle the display of the Splash Screen and animation
 * that introduce the users to the game.
 * 
 * @author Neil Cowzer
 */
public class SplashScreen extends JPanel{
	
	/** Status of the animation */
	private /*@ non_null @*/ boolean complete;

	/** Default Constructor */
	public SplashScreen(){
		
	}
	
	/** Intialise all the elements of the SplashScreen */
	public void init(){
		
	}
	
	/** Animate all the SplashScreen. */
	//@ ensures complete = true
	public void run(){
		
	}
	
    /** Overide the paint method */
    public void paintComponent (Graphics g) {
        // First paint background
        super.paintComponent (g);
        
        // paint all stuff here
        
    }
    
    /** Check the status of the SplashScreen */
    public /*@ pure @*/ boolean complete(){
    	return complete;
    }
}
